منابع مشابه
Manipulation and Single-Peakedness: A General Result
This article considers environments in which individual preferences are single-peaked with respect to an unspecified, but unidimensional, ordering of the alternative space. We show that in these environments, any institution that is coalitionally strategy-proof must be dictatorial. Thus, any nondictatorial institutional environment that does not explicitly utilize an a priori ordering over alte...
متن کاملA general minimax result for relative entropy
Suppose Nature picks a probability measure P on a complete separable metric space X at random from a measurable set P fP g Then without knowing a statistician picks a measure Q on X Finally the statistician su ers a loss D P jjQ the relative entropy between P and Q We show that the minimax and maximin values of this game are always equal and there is always a minimax strategy in the closure of ...
متن کاملA General Completeness Result in Refinement
In a paper in 1986, Hoare, He and Sanders proposed a formulation of refinement for a system equivalent to the ν-calculus using a relation based semantics. To give a proof method to show that one program is a refinement of another, they introduced downward simulation and upward simulation, but the proof method based upon either of them is not complete with respect to their notion of refinement, ...
متن کاملA General Adequacy Result for a Linear Functional Language
A main concern of the paper will be a Curry-Howard interpretation of Intuitionistic Linear Logic. It will be extended with recursion, and the resulting functional programming language will be given operational as well as categorical semantics. The two semantics will be related by soundness and adequacy results. The main features of the categorical semantics are that convergence/divergence behav...
متن کاملDecoherence in the thermodynamic limit: A general result
We prove a very general theorem on decoherence in the thermodynamic limit, widely extending the scope of our preceding results [Phys. Lett. A 308, 135 (2003)]. The concept of a singular limit in time is used in the proof. Recent experimental findings [1, 2, 3, 4, 5] in NMR with organic molecular crystals have shown that an intrinsic decoherence effect is present in a many-body system in the the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computational Methods in Applied Mathematics
سال: 2020
ISSN: 1609-9389,1609-4840
DOI: 10.1515/cmam-2020-0120